Fix format specifiers in some debugging statements