doxygen: use correct comment syntax