modify printf