Fix doxygen warnings (with doxygen v1.8.7)