Corrected symbol exports