On Sun, Jan 11, 2004 at 06:37:32PM -0500, Alan McIntyre wrote: > > I attached a patch (obtained with GNU diff, default options) just in > case it's useful to someone else. (We prefer unified diff format, i.e. "diff -u") -Andrew.