Patch applied as 946f76302394e685c1534550a774777e068b492c. Thanks.