Thanks.  I think that's a known issue.
It's not much of a problem in practice
so I wouldn't worry about it.

Reply via email to