Fix typo in doxygen