proper type checking