Correct AWK invoking.