Comment by _callcc

Yes, they would have been better off leaving out this "cycling" bit altogether.