Fix hello world example