Removed some remanant debugging code