Re #9505. Remove cerr statements left in by mistake.