fix hello world example