Make Doxygen warning-free