Tidy some Doxygen