Patch applied as f203028ef869945b3d44f0f2f7b16d61d064190c. Thanks.