Avoid a warning with GHC 7.9