Patch pushed as 9898d907e0b2cd62cbf906a5702439f47b9a3188.
Thanks.