Patch pushed as 6052fdf35079a5d7f1cf5773f62ad96160a4385c.
Thanks.