Removed spurious debugging print