Final, final, final doxygen tweak.