Lo acabo de volver a razonar y sí, tenés razón, es como decís.
Asimismo entiendo que el paso de iteración inicial que aparece en la solución (B=INF) estaría solo para mostrar que hubo un cambio en el coste del enlace. O sea, es el paso 0 para desbloquear el bucle, pero eso es una interpretación personal nomás.
Saludos.