Patch pushed as 1865860cc13ac800661e2728237886f0516d632c.
Thanks.