Fair point. I like your suggestion, and I have made the change.