Fix bad leader defn