Fix compilation on GHC 7.8.2