Fix bogus calculation of potential output string length in translate().
