type check update