remove an obsolete header