Patch pushed as 6591e184f0dc7a5159247c9deb12b976f6a8208b.
Thanks.