Fix the awk snippets