remove some noisy debugging code!