Desugar fixes