My bad, I should have double-checked. I have just made a fix for it.