Small fix to compile in GHC < 7.8