small formatting in translate.ml