[tor-commits] [gettor/master] Minor correction to #17211