Fix defn/def confusion.