small correction to EnvM