Why was `.  ` converted to `. ` in many places?  A period at the end of a sentence should be followed by two spaces (in a monospace document).