fix mal-generated doxygen