Fix #26: undo a previous edit in valuation. Add doctest for this issue.