Fix a wrong header file