small tweak to EnvEditView