Patch applied as 1c194cd2bb5191f73499ec869952859d711ff225.
Thanks.