Re #9579. Defined property type string for a vector<size_t>