Tweaks to doxygen