Extra simplification for bvmult.
1 file changed