Make gcc4 happy.