wigner-spec: fixed and simplified the expression for the nonlinear term