fix pull #3620
Merge pull request #3656 from WalterBright/fixpull3620

fix pull #3620