undo.c: leftovers