Patch pushed as 757be0e8af0805ea354a7003a1e2b71475caf9ae with a modified
commit message.
Thanks.