Correction of header files