Fix a warning on GHC 7.2