fix symbol export