[tor-commits] [tor/master] General tweaks and fixes for Nick's comments.