fix type check test