[tor-commits] [tor/master] minor touchups on nick's ticket 17621 changes