had to delete a debugging print line.