revise printf