Patch applied as 0aab24855238cc7c7a31066ab39cd94e534b857f. Thanks.