Fix hello_world3 generate.