Fix bug in VectorSequenceSpace