Doxygen fiddling