5 ms·

I think its fine to point it out for clarification, its not really a nitpick though because it is correct within his context.