Patch pushed as b7078d5d49d72cb5e5356d698b99540612b4d6c4 with a complete
commit message.
Thanks.