Fix awk syntax.