Oops, I found a bug in the patch.

Now fixed.

Rudy