some type checking