Seisenberger/HigmanFinite: local improvements.