3 ms·

Sure, but from a PR perspective, it should be easy enough to check for, and then this never happens again.