Correction in a code example