Remove a debugging printf