fix wrong export by hand