some formatting changes in hello.py