Spurious debug left here.
paul