Patch applied as 2387c60815b54c7b007ed7e4bc3caecf420aa526. Thanks.