ADD: a missing export