[tor-commits] [tor/master] Fix a typo found by Mike.