Tidy some doxygen