5 ms·

or he could be an old Algol programmer, and considers the period to be a statement separator, unnecessary/redundant at the end of paragraphs