No worries. After that change, the function literally is an inverse of the is_leader/1, so making it a one-liner makes the most sense to me.