Patch applied as 3f0ee6e7af3aeec0369c9bfb71f8e0abf06c6ed0.
Thanks.