Fix name of HelloWorld to remove .txt