Fix misstatement in option documentation.