Header file name fix