Small doxygen tweaks
Try another doxygen tweak