3 ms·

I suspect the text is based on an older version and insufficiently checked, so partly out of date. Sorry, didn't notice that when I submitted it.