Documentation fixes for Doxygen