might have been fixed in https://www.openstreetmap.org/changeset/86424338 or one of the previous changesets. we might have to wait a couple of days for outer zoom levels to re-render to confirm, though