Fixing a warning with GHC 7.8.2