Fix defn invocation.