Patch pushed as a4b4dc8f9975ec484b27c33d940cfeea8e9fdc85 with a tweaked
commit message.
Thanks.