Patch applied as 2c6133295d7aaca3d130d73232075ea550862598.
Thanks.