Good idea.  I've made this change in my subsequent commit.