At some point, we should fix this. I can't remember if there's a bug for it or not.