Comment # 5 on bug 1206975 from Igor Arbichev

Thank you Andreas. I see that you have corrected the error. Tor has been
updated and works fine.