Clean up 5-10's printf() calls