Typecheck lille rettelse