Patch pushed as 386db367c9ad8633252cea8727de9f09b3a552db. Thanks.