Patch applied as 70fd6721f4921a5ccd0dcf6964458e74636c2c65.
Thanks.