On 12/03/2015 01:08 PM, Rich Burridge wrote:
> Yup. That works nicely too. 

Thanks, I noticed a similar problem in three other places (which I guess 
don't affect your platform) and so installed the attached more-general 
patch.