Took out some debugging code