Fix dim of VectorSpace