My comment applies to a few pedantics I know personally, who stubbornly double space after periods when typing in regular situations.