Fix in code example.