Sorry, finger twitch. Wish there were a minute grace period to recall such mistakes. On 7/6/2017 2:16 PM, Terry Reedy wrote: <a copy of a previous post without addition> -- Terry Jan Reedy