Fix header file