Patch applied as 54a49cf1ccc9d2cf44e5de5bdd0ce5fc7c810fb0. Thanks.