Fix some doxygen comments