[tor-commits] [tor/master] Comment fixups on 4207 suggested by arma