Patch applied as 7e63a35ff265f5cb6efa8bbe0bbf62bb9c102cf0. Thanks.