I guess this is used as an optimization...