Good catch. I'll add a comment explaining it in the code.