Doxygen tweak