Fix example helloworld.