Correction: I should have said the WSJ’s excellent editorial …