Fix two typos, and add some omitted \option{} markup
1 file changed