fix HelloWorld example