Thanks, as I write, this is a nice-to-have bug fix, so IMHO it has low priority