another fix to header