Hi,
I found this old but bad edit of yours in diff, which I have fixed just now. Pls let me know if you still think it was correct then. :)
I don't really know why I did that, so I'll trust your judgement.