Patch pushed as 5cf9137ccb20f12f88bfbb216bb24c6d8262cd1b.
Thanks.