Fix context forgetting universes (temporary, the fix is not exactly right).