Actually, now that I think about it, I don't think so. This is an old TODO that was left in place by accident. I'll get rid of it in a commit.