[tor-commits] [tor/master] I think it is correct to decorate these addresses.