Correction of code snippets