Fix typo (and Doxygen warning)