[tor-bugs] #14786 [Tor]: two random spec fixes

[Tor Bug Tracker & Wiki]

#14786: two random spec fixes
-----------------------+------------------------------------
 Reporter:  Sebastian  |          Owner:
     Type:  defect     |         Status:  new
 Priority:  normal     |      Milestone:  Tor: 0.2.6.x-final
Component:  Tor        |        Version:
 Keywords:             |  Actual Points:
Parent ID:             |         Points:
-----------------------+------------------------------------
 Branch random_spec_fixes in my repo.

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