bug fixes in DeterNode