Fixed a header file.