took out debugging output