minor fixes to the document:
distributed system(s)
latex_editor
(that)