On Mon, May 22, 2017 at 02:07:35PM +0200, Dirk-Willem van Gulik wrote: > Thank you. Palm, face, etc. Been staring at this for quite bit. Happens to all of us. mcl