Fix printf for test 12