[tor-commits] [tpo/master] Minor fix. Closes #192