Try another doxygen tweak