Opts: small improvement

- syntax & comment
- hide an option
- fix an old bug

This rewrites and closes #531