Fixing some notation for headers