fix saturation bound