update type checking