Patch applied as d32740d8bedba58c30a7b605ebb9a08f24c68de9.
Thanks.