Fix printf datatypes