Fix a bug in the default header.