Patch applied as 1eccfd2b01cf5d257a9861c291553d8d5d0fb65a.
Thanks.