Patch pushed as 0b69ed70eca72aef6364be650d9e2f7e8c97ac0c with
a completed commit message.
Thanks.