PEP 475: Fix Hello World example