Patch applied as f4e8baf3806e79d7111d2943859865ae4ee0b59d. Thanks.