Make GHC's -Wall happy, once again...