Fix comparison of frozen sources.
Merge pull request #3239 from TimMoore/issue-3224-frozen-source-comparison

Fix comparison of frozen sources.