(jebene) - small cosmetic changes to consensus