Fix broken export