fix typo in Doxygen comments.