fix header of hello world (pli)