Minor change in code example