No es necesario "repararlo", pero si recomendable por comodidad. Aunque no creo que lo uses mucho sin comprobar el enfoque en el visor/pantalla.
Yo te comento dos casos, mi 7artisans 35/1.2, que tiene el enfoque a infinito en el tope del anillo, y me resulta muy cómodo para determinadas fotos rápidas .
Y mi Sammy 12 que tiene el enfoque a infinito en la marca de infinito, pero luego el anillo tiene más recorrido. En este caso, para foto rápida pongo el anillo en la marca y (a no ser que necesite abrir mucho diafragma)a disparar sin problemas. Pero para fotos nocturnas preferiría que el infinito estuviese al final del recorrido para no estar teniendo que mirarlo con linterna.
Si el enfoque a infinito no está ni en el tope del anillo ni en la marca del objetivo, sino en un punto indeterminado, yo lo arreglaria.