Proper prefix for doxygen comments