Fix typo in doxygen doc