Fix comment in hello world example