Oh, weird; I think a race condition between your push and my comment put this on the wrong line (it's meant to go on `give_segment`).