Minor english improvements to docs