Fix API in Hello World example