Patch applied as 8eed542ddd61e7821cb071b9d951866e4c3eb853.
Thanks.