Sentence is cut off in reference manual

[catamorphism]

In 8.1.4 Vector Types:

"All accessible elements of a vector are always initialized, and access to a vector is always bounds-checked. In the case of a definite-"

and it ends there. Looks like some text was accidentally.