Fixes #732: Bug in ConstantMX multiplication