Translation of some untranslated texts.