Documentation fixes for better Doxygen output