[tor-commits] [gettor/master] Small fix for Andrew's patches