fix #9138
Merge pull request #1014 from 3nids/issue9138

fix #9138