That's a good  idea; I've made this change.