another fix in header