Fix awk typo