Fix some minor issues in the integer types RFC