gawk bug fix