fix VarNumbering