Sebastian Hahn authored Nov 03, 2017 and Nick Mathewson committed Nov 05, 2017

Thanks to Dhalgren who analyzed this issue two years ago and found a
solution!