fix printf warp