On Mon, 5 Sep 2005 15:59:02 +0200, Pascal Bourguignon <pjb at informatimago.com> wrote: > It might help to use #|| ... ||# insteaad. Ah, OK, I'll try that. Thanks.