rehighlighting after each dehighlighting #56