Make -Wall happy.