Fix Twelf highlighting.