Remove debugging fprintf statements