Fix a bug in printing mul