fix a bug in VarDofs setUp()