doxygen: fix wrong comment syntax, //< vs. ///<