[tor-commits] [tor/main] changes: Minor syntax editing fixes