Fix test case printf.