Bugfix in Vector.__mul__