Fix typo in options documentation