fix on ghc-7.6.