The Washington Post runs a correction. In this respect as in some others, it’s a more honorable paper than the New York Times.