Fix old header.