fix wrong export