removed spurious debug output