Make Doxygen a bit more happy