Two minor changes in translations