new pull request for fixing #12147