Good suggestion. I submitted a commit for that.