Patch pushed as b9d891140a649804bab63edcac1870450de5536f.
Thanks.