Fix Carbon code