fix bug: return value of type is from int to INT