Some improvements to doxygen docs