I thought that the dead node should be pushed away after a
while, not 3 minutes. So that was my mistake...indeed everything was
I tried it again five minutes ago, and everything went as I expected!
I just pushed the patch (revision 1678). Thanks for bringing it up and thanks
to Linus for fixing it.