Fix ghc warning