Какой судостроительный термин, по одной из версий, появился благодаря типографской опечатке?