System for automatically proofreading a document