Took out debugging output