Doxygen comment fixes