Fix wrong export