Using SMT for OCR Error Correction of Historical Texts | Synapse