Update HelloWorld.py

Extra stuff