Fixing highlighting for ghci