On Tue, Dec 09, 2014 at 01:41:59PM +0100, Jörn Clausen wrote: > This seems to be a reasonable fix for PR/48508. I didn't have the time > to look into the other suggestions, but this is the solution I > preferred anyway. Thanks, I've closed the PR. Thomas