Fix the Hello World how-to