Fixing typo in printf