Patch applied as 209cdc81fd0c671f622cead5ee242938d1e48bea. Thanks.