Undoing some debugging