Patch pushed as 30a04c00beb3b0bc3799f27caf05bedb5094c0c5.
Thanks.