Patch applied as 027a35dff89cbb35512afee4f4a78ae103a2f484. Thanks.