Correct code example