forgot some debug printfs