Fixed #801.
Merge pull request #802 from waterbearlang/801-ide-not-load

Fixed #801.