Fixed def of __mul__