undo debugging: push to index