vector.emptyVector -> vector.Empty