Tidy some Doxygen documentation