I made the change you suggested.