Fixing accidental type highlighting.