Fix missing export