MOD: updateTypevar fallacy changed