use proper format specifiers for NSInteger