Not sure if this is desired answer.
You could left it be as it or post issue report on github.
Or you can use github version where I think it was fixed.
You can sync with github directly from admin area (in debug mode Database Tools), but I am not sure you want to do this on live site.