Doxygen tweaks.