Fix small error in option documentation.