Change that seems necessary for stray <div> from Doxygen 1.8+