Correctly retract first proof step

Fixes #220
Merge pull request #221 from david-christiansen/issue/220

Correctly retract first proof step