Fix problem with set multiplication