Fix several doxygen issues