Patch pushed as a312c9d018e401e3c134b89b9d5987e2bdcfaf0c. Thanks.