temporarily disabled semantic highlighting again