Fixed more problems in the ML translation