Doxygen markup fix