fix bug in helloword3.zks