Thanks Gabor for the patch. I had to change it in other places, which I guess had the same problem, so attached branch has the fix
Thanks Gabor for the patch. I had to change it in other places, which I guess had the same problem, so attached branch has the fix