Better awk style.