Make GHC's -Wall happy.