Fix ghc-mod highlightings not being reset on save