Yet another fix to VariableTree copying...