Undoing last change; let Python deal with it