Yes, I had overlooked that fact.