Fixed the Doxygen dummy header