fix a header file error