WaPo were apparently so pleased with their lede they didn't read the post describing the change, despite linking it