Fix a nasty typo in the doc about the option requests.