fix broken export