Fix another printf format error.