nuked some printf forgetted while debugging