spurious debug print