Typo in hello world example