Seisenberger/HigmanFinite: getting rid of vectors.