better awk, minor edit