Added a missing export symbol