change deprecated highliting configuration option