defn correction