Good point. I added a commit to fix it.