fix reverse export, update documentation