fixed semantics of unrolling