tiny fix in translations