Fix #5158
Merge pull request #5160 from JuliaLang/cb/ghfix

Fix #5158