Fix HelloWorld example