Minor fixes for Doxygen