more type checking