Correcting code example