3 ms·

I would hope The Martian would get a do-over by a professional editor. As it is, its translations will forever be better than the English original.