Small improvements to some documents.