Example from a real paper.
Fix to string on solution result.