Ye, I have already fixed it. It was on my todo list. I'll commit the change tomorrow.