I'd prefer to have it fixed now (it's only 1 digit after all) since it's easy to overlook it and think that Safari 6.0 is covered by 6.1 whereas this makes Safari 7 covered twice and 6.0 left out. Safari numbering scheme is confusing.