Make documentation compatible to Doxygen 1.8.5