Fixing typo in hello world example