Optimizer: fix addition