fix ghc 7.4 warning