Patch pushed as 63374ef9b9c7ebd374bed6630783b020e45e576f.
Thanks.