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