Correct typo in printf