Patch pushed as ec74eef890d01a82128ffc9d0188a886c710c8e8.
Thanks.