Patch pushed as 00b12c65c48e7d8c94951aff11adee8ab143ee06.
Thanks.