Fix HelloWorld.pl