Fix document header file.