fixed type checking task