type check Fix