removed unused old definitions of highlight_text