Fix defn-.