Patch applied as 0eec27846b1c140c2c918921ba071b82bd6b37a5. Thanks.