Fix for header files