[tor-commits] [tor/master] Fix a crash bug introduced in 223d354e3.