Fixed some warnings by cabal check.