Remove debugging printf