Correct small mistakes in Hello World intro