Clarify comment in hello_io.bgs