[leroy-is-here]

Yeah, the model only makes sense with an infinite length tape. I only mention it because many commenters get stuck on the word 'infinite' without realizing how inconsequential it is.