Fix stupid hello world