[tor-commits] [tor/master] fix typo in changes/coverity_master spotted by rransom