Patch applied as 3e7047e058ba4a423e7f63302eee2bd4d748bfca.
Thanks.