Removed spurious debug prints