[tor-commits] [tor/master] fix a copy-pasta issue from long ago