Patch pushed as 06ab89486715a0817aa355186b16958a93626dcc.
Thanks.