I see what you mean, thanks for clarification. As the patch fixes just something that bit me (and one colleague), but otherwise doesn't add much, let's just drop it.