examples: fix Hello world! comment