edoc highlighting fixed