Doxygen should now be OK