Bug in Vector Matroid implications