small corrections to EnvView