Patch pushed as e11055f0125a902fe091394480dd4206c687a98c.
Thanks.