TVar: typos.