Fixed a bug in v_mul