Fix printf typo