Fix in code example