Engraving options misprints

You’re quite right, Florian: I will fix this. Thanks.