Fix highlighting.zsh