[tor-commits] [community/master] Merge branch 'small-corrections'