Oops, gawk, not awk!