Corrections and improvements to the English documentation

More small corrections