#786 correct some export header