On Fri, 26 Oct 2018 12:56:46 -0000 Paul wrote: > > I'll have a look at this. Thanks for the report. > > Now fixed! Thanks to you! That was quick :) -- George