Fix hello world