remove spurious `vector-space` dependency