Fix compatibility with ghc 7.0.4 (fix #44).