[tor-commits] [community/master] Minor fix