some doxygen fixes