(undo.o): Undo previous change.