On Mon, 24 Mar 2014 17:33:01 +0100, Yufeng Zhang wrote:
> The patch does fix the failure.  Thanks for your help!

Checked in as obvious:
	d23487918b315cccd04c2b60a7cf7775920caecb


Thanks,
Jan