Fix Product defn