Patch pushed as 8778ff2aec128a4d2f94b6ca383c11bda69ef077 with a complete
commit message.
Thanks.