Fix occur highlight (though it's not very useful in the terminal)