Fix some AWK Tokens.