Fix typo in IntTypes.h