Revised Korean translations.