2 ms·

True. Personally I generally like the smart punctuation though, and will rather work around the few cases where it does something I don’t want.