cosmetic changes to Election.hs