fix desugaring