fix __cmp__ error