diff.toString() used in diff-examples