add a type checking