Doxygen bugfix