Bug correction in mult