Minor fixes in UDP leader election