Patch pushed as 53c8cbb31428322e16c255f73fb7f7670ef7f8aa.
Thanks.