Fix option names in documentation and help messages.