small corrections to EnvM