some fixes to the BaRuCo 2014 talk