Use correct size_t format specifier