awk: code shrink; style fixes