remove noisy debug printf