Make compilable on GHC7.4.2