Correct printf usage in test case