removed ghc warning