(Switched off debugging flag in MoveNext)