Correct some translations in this document.