Fix typos in setting options.

No test required. Fixes #784