Bugfix in fm_mult_module: an empty Product represents 1.