[tor-commits] [tor/maint-0.3.2] Fix a copy-paste error in the fix for #23693.