Fixed a missing export