a fix to build on ghc 7.8.3