I've noticed that headlines on some of the major news outlets sometimes change after the javascript fully loads. I don't follow WaPo, so this isn't unique to them.