Minor fix GitHub highlighting

GitHub is freaking about `'\'` even though it is valid syntax. Using double
backslash still works with `awk`, and doesnt break the highlighting.