One is described as "ordered list", so what would the other list be? And we do have an icon with dots not numbers, should be explaining it, too. So i don't think this change has to be done. But when, it doesn't bother me.