fix header of hello world (c)