Fix some printf specifiers to the correct signed-ness