Took out some minor debugging code