Tiny fix for typo in Doxygen