Fix production of SPT entries in the desugarer.