slight awk improvement