removing obsolete highlight