[tor-bugs] #13541 [Tor]: Fix minor typos, a line length, and a repeated include

[Tor Bug Tracker & Wiki]

#13541: Fix minor typos, a line length, and a repeated include
--------------------+----------------------------------
 Reporter:  teor    |          Owner:
     Type:  defect  |         Status:  new
 Priority:  minor   |      Milestone:
Component:  Tor     |        Version:  Tor: unspecified
 Keywords:          |  Actual Points:
Parent ID:          |         Points:
--------------------+----------------------------------
 My branch minor-tidy on github contains fixes for:
 * typos in comments
 * two line lengths
 * a repeated include file, which is now only listed once

 Branch: minor-tidy
 Repository: ​​​​​https://github.com/teor2345/tor.git

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13541>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online