[tor-commits] [trunnel/master] Fix a typo in the docs; close bug 13414. Reported by dcf.