...is_leader field deleted.