Taking out some debugging print-outs