Re #7950. Remove debug print statement left in by mistake.