Redundant statement in "2.6.2. Default bean names" chapter

This chapter currently says:

In the following circumstances, a default name must be assigned by the container:

• A bean class or producer method or field of a bean declares a @Named annotation and no bean name is explicitly specified by the value member.

and then:

If a bean class or producer method or field of a bean declares a @Named annotation and no bean name is explicitly specified the value of the value member is defaulted.

These 2 statements declare the same IMO.