Patch applied as 6ab6c02affbfe921241fe07e7554b5a0ab39587e. Thanks.