1.Fixed some bugs in intset test suite.
 2.Fixed some typos.