Fix bug in hello world