Patch pushed as b724c847a23f7fcbe9d61ddcbf26492cc0569fc9. Thanks.