HelloWorld: fix include