3 ms·

See my comment: the original text has a typo. The translation is correct.

• imron 7y ago
  Doesn't change my point though. A human translator almost certainly would have caught an error like this.