Fix printf formatting