4 ms·

I think they understood that. I read that comment as a friendly, good-natured way to point out the typo.