Add missing argument vector to some defn examples