You are right, I will try to submit a fix for this later tonight.