Correctly retract first proof step

Fixes #220