@gruber WSJ messed up on this but they didn’t retract.