Bugfix in mul preprocessing