doc: corrected 'eos' highlighting