I'm prepared to park this issue. The implementation here is correct, we can question the behaviour as a separate piece of work if and when a real issue comes of it.