doxygen fixes again