Good point. I made the change you suggested.