Fix defn typo