Patch pushed as d7a3b4008fa7e40bc1f5e29af9e6f1f6757ed0f1.
Thanks.