Two spaces after a full stop was standard practice in the days of typewriters and monospaced fonts. Even now, if one creates a document in Courier font. Which one might do if sending out paper copies which later will be OCRed. Courier comes through OCR fairly reliably.