Fix for Doxygen