Doxygen documentation tweaks