Fix 64-bit NSUInteger formatting