Fix bug in the UpdatingVariableListener (and rename it)