Use the correct printf format specifier for pointers.