Use write for keys rather than display in pretty-print-matcher