Tweak typecheck.