changed Translation.hs