[tor-commits] [tor/master] Tweak the bug4438 fix a little: different check, better log