Changed file extension for HelloWorld