minor improvements to hello_world.py