Fix #2418: Fix crash in smart resolver when the resolution doesn't work.
Merge pull request #2591 from mdboom/docs/smart-resolver-fix-crash

Fix #2418: Fix crash in smart resolver when the resolution doesn't work.