Fix problem in header.