Patch applied as d22d2a05c389207f8cdcf824be7738b1499a987c. Thanks.