Minor improvements to DoMulI