Make diffing of solutions actually work.

Reviewers: @mhyee