mul: a bug in the comment led to a bug in the code!