Well, it's not visible to users so probably can be fixed in a separate pull request.