Formatting and lexical corrections in Options.