correct wrong typed header file name