Add curly quotes around options to properly delimit it
This MR adds curly double quotes around options in the documentation for extra typographical accuracy
This MR adds curly double quotes around options in the documentation for extra typographical accuracy