Fix the overflow in the example.