Patch applied as 5a8bb79c1c0e272e7f16b18dae631057b6724754.
Thanks.