Fix a typo in a doxygen comment. Reported by 亦得.