Hopefully last Doxygen change for a while

...