Bugfix in ConsistentProduct.