Sorry, I was on vacation & now the repo is gone. Add to that the fact that I don't know how to reproduce the issue in any reliable way. :/ Dunno if there's much I can even do here.