fix origins in desugaring