Good point. I guess this is a relic of some older issue.