Fix the big/small-step equivalence proof