oops, turn off debugging traces