3 ms·

You’re quite right. That was a typo/brain fart, and by the time I noticed it my comment was past editing.