fix printf args