small doxygen fixes