doc: corrected 'eos' highlighting (2)