Patch pushed as 9e47a50de840b17b67d074fcc08bbdba10644ec3 with an updated
commit message.
Thanks.