Added casts to keep printf() happy.