I would expect it's a corner case, still, we should deal with it instead of waiting for the bug report ;-)