Various little cleanups in translations