Minor tweaks for ghc-mod