Patch pushed as 2495582e08cf411163f0799d290fda5101141949.
Thanks.