another Doxygen update