A newspaper headline editor gets the facts correct: