fix the code example