Patch pushed as 4772c03ffee551f872a952454ba7beace6f4c513. Thanks.