Fixed another printf format mismatch