fix printf format warning (again)