Cosmetic docs and fixes for Doxygen