bugfix version compatible with ghc 7.8