Fix JSX desugaring example