fix helloworld example