Clarified to `prev_exported` (what it actually is)