Right type in format string (Shout out to GCC for once)