minor doxygen tweak