Fix a leak in printing mul