Fix helloworld example