Tidy the "Hello world" implementation