Fix wrong typedef