fix header of hello world