You're right. I have this fixed in my local copy, I just haven't pushed it out yet. I'll do that shortly.