Fix a bug in the expansion of EXTRACT_SUBVECTOR in