oops forgot a debugging line