whoops. awk isn't as straight-forward as it looks.