Het gaat om een klein segment, nl. https://www.openstreetmap.org/way/1125246367, dat de dubbele straatnaam niet had. Ik heb die toegevoegd in changeset 159008486, LARA bevestigt de dubbele straatnaam ook.