Remove some leftover debugging prints