fixing hello world example