Fix printf syntax error