to pacify gawk