Minor adjustments to the EE documentation