Best thing you can do is open a github issue for this since then we will get an answer and if it is a bug it will be fixed