Renaming the module from Main to HelloWorld