More little fixes on hello_world