Minor note to self about an undo bug