bugfix : use mark's env_from_summary function