Small doxygen fixes