Eliminate a GHC 7.2 warning