Update hello_world.html

second change from github.com