2 ms·

Oh dear, how embarrassing, and now it's too late to fix. Sorry about that and thanks for the correction.