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