Correct types for printf