Oops, fix leftover from debugging.