Sign of psi modified to have positive psivx