Yes, I recall but not where either. I think you're right. Fix pushed.