Revise some awk statements