Patch applied as 8e16c349c5f683f3322bc1bca307630fcbb8454d. Thanks.