Patch pushed as 66f7d95d027d74ae6e9c9d37c80ed65b5c96dc40.
Thanks.