Good question. I think it's left over from an earlier version. I'll remove it.