Disabling highlighting for now.