Fix for commit #25, problem with detection of correct booth ticket leader when multiple tickets are present