Hi Arend, >Well, not before you pointed it out ;-). You are welcome to send a patch >fixing it. Otherwise, I will take care of it. attaching a format-patch like version. I don't think we need a Tested-by or whatever, because it is just a typo in a comment. (this is my first contribution, feel free to rebase or change whatever you prefer to make it in line with other styles) (I gave authorship to Marco, the first one who discovered such typo) thanks! G.