[tor-commits] [tor/master] Replace a missing end-of-comment string