Patch applied as 9c9a19dba5e9f6433df502a3e4f5876ad7dd46d3.
Thanks.