> The fix turned out to be wrong, but luckily the problem wasn't very > hard to fix. Thanks for looking into this. Doing a forward string search looks like the better solution, anyway. Regards, Martin