type checking issue