Got rid of a debugging print line.