Patch applied as 63b96da5ea5dfb5c330d9ee18668e8c600add19c.
Thanks.