Tweaks to doxygen style
Further tweaks to doxygen style