Understood. I have noticed before that controversial headlines get changed, pretty curious whether it is lazy editors rubber-stamping journalist submissions, then fixing them, or something a bit more deliberate.