Minor fixes with doxygen comments