misc changes --- in the end there was no bug
Merge branch 'env_dvs' of github.com:AndreaCensi/rcl into env_dvs