extend.texi (vector_size): Add missing comma after @xref.