you are right, we have fixed this in our localy, but have not added to the local repo. I'll see if I can put it up soon.