Patch applied as 67a803f3effc2186db390d577ecc01b049b1017f.
Thanks.