Corrected a few minor issues in TestMul.