awk script fix