Fixes incorrect abstract environment.