WSJ: Don’t use ‘Hillary’ alone in a headline