Patch applied as 0fd2cb26329805ffba0df20bd96ee3673b8c3443. Thanks.